Anonymity Analysis of Onion Routing in the Universally Composable Framework
نویسندگان
چکیده
We present the formalization and analysis of a practical paradigm for general anonymous communication using standard cryptographic primitives. Specifically we present a probabilistic analysis of onion routing in a black-box model of anonymous communication in the Universally Composable framework. Full statements of results and proofs can be found in the full paper [7].
منابع مشابه
A Formal Treatment of Onion Routing
Anonymous channels are necessary for a multitude of privacy-protecting protocols. Onion routing is probably the best known way to achieve anonymity in practice. However, the cryptographic aspects of onion routing have not been sufficiently explored: no satisfactory definitions of security have been given, and existing constructions have only had ad-hoc security analysis for the most part. We pr...
متن کاملA Probabilistic Analysis of Onion Routing in a Black-box Model
Every day, half a million people use the onion-routing network Tor [Dingledine et al. 2004] to anonymize their Internet communication. However, the effectiveness of this service, and of onion routing in general, is not well understood. The approach we take to this problem is to model onion routing formally all the way from the protocol details to the behavior of the users. We then analyze the r...
متن کاملA Probabilistic Multicast with Universally Composable Anonymity in MANETs
Current anonymous routing protocols do not provide anonymous mechanism for multicast in MANETs and have only had ad-hoc anonymity analysis. This paper proposes a new scheme called probabilistic multicast with universally composable anonymity. One-Time key pair is used to keep a route record in privacy during route discovery processes. Gossip-Scheme, secret DH path and Bloom Filter are adopted t...
متن کاملA Model of Onion Routing with Provable Anonymity
Onion routing is a scheme for anonymous communication that is designed for practical use. It has not been modeled formally, however, and therefore its anonymity guarantees have not been rigorously analyzed. We give an IO-automata model of an onion-routing protocol and, under possibilistic definitions, characterize the situations in which anonymity and unlinkability are guaranteed.
متن کاملAIB-OR: Improving Onion Routing Circuit Construction Using Anonymous Identity-Based Cryptosystems
The rapid growth of Internet applications has made communication anonymity an increasingly important or even indispensable security requirement. Onion routing has been employed as an infrastructure for anonymous communication over a public network, which provides anonymous connections that are strongly resistant to both eavesdropping and traffic analysis. However, existing onion routing protoco...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012